What Does Industry Need From Formal Specification Techniques?
نویسنده
چکیده
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role of formal specifications in development and consider what are the important questions that need to be asked. I illustrate these with some practical experience on industrial projects and conclude with some lessons we have learned about for formal specification techniques and about the tools which support them.
منابع مشابه
Making formal methods work: what is being done and what can be done
Despite the apparent advantages offered by formal methods, industry has been very slow to take on the techniques involved. This paper attributes some of this reticence to a lack of clear guidance on where and how formal methods fit into the software engineering process. The paper distinguishes between formal methods techniques for modelling and reasoning about systems mathematically and a forma...
متن کاملAn introduction to Z and formal specifications
This article is an introduction to the description of information systems using formal, mathematical specifications written in the Z notation, and to the refinement of these specifications into rigorously-checked designs. The first part introduces the idea of a formal specification using a simple example: that of a “birthday book” in which people’s birthdays can be recorded, and which is able t...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملProceedings of the 3 rd Educators ’ Symposium at MODELS 2007
Many students have difficulties regarding formality as a tool that provides value in practice. The typical experience in their studies is that that formal techniques stop being applicable when they would be most helpful. In this talk, I argue that it is important to counteract the undesired “impracticable” image of formal techniques, and then point out how formal specification in modeling can h...
متن کاملSeventh Workshop on the Validation and Verification of Knowledge-Based Systems
workshop from a testingand toolbased approach to KBS evaluation to that of a formal specification-based approach. The 1994 workshop included 12 full papers and 5 short papers and was attended by 35 researchers from government, industry, and academia. The full papers of the workshop were presented in three sessions: (1) formal methods and techniques for validation and verification, (2) technique...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998